DEGROSSIR définition

DEGROSSIR

[Div.] Tailler grossièrement une pierre, une pièce de bois, de métal, etc.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=3145

---